l\_contains($T$;$A$;$B$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$l\_all($A$;$T$;$a$.($a$ $\in$ $B$ $\in$ $T$))